<!doctype html>
<html>
<head>
<script>location.replace('docs/index.html')</script>
</head>
</html>